<html>
<head><meta charset="utf-8"><title>meeting 06.09.2020 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html">meeting 06.09.2020</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="200281650"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200281650" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200281650">(Jun 09 2020 at 19:58)</a>:</h4>
<p>Hi <span class="user-group-mention" data-user-group-id="692">@WG-traits</span>, meeting in 2ish minutes</p>



<a name="200281732"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200281732" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200281732">(Jun 09 2020 at 19:59)</a>:</h4>
<p>Agenda hackmd: <a href="https://hackmd.io/nrhN5A8sR2eY9UdfJTKcJg">https://hackmd.io/nrhN5A8sR2eY9UdfJTKcJg</a></p>



<a name="200281740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200281740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200281740">(Jun 09 2020 at 19:59)</a>:</h4>
<p>Nothing on the plate for today so far</p>



<a name="200281809"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200281809" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200281809">(Jun 09 2020 at 20:00)</a>:</h4>
<p>Nice to see that the sprint doc is being kept updated as well: <a href="https://hackmd.io/D_wskAmRT52zL9xmhmg0Kg?both">https://hackmd.io/D_wskAmRT52zL9xmhmg0Kg?both</a></p>



<a name="200281890"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200281890" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Corbyn <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200281890">(Jun 09 2020 at 20:00)</a>:</h4>
<p>(Sitting in as I'm interested in what's going on - nice to meet everyone)</p>



<a name="200281933"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200281933" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200281933">(Jun 09 2020 at 20:00)</a>:</h4>
<p><span class="user-mention" data-user-id="225949">@Nathan Corbyn</span> Hello!</p>



<a name="200281947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200281947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mental <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200281947">(Jun 09 2020 at 20:00)</a>:</h4>
<p><span class="user-mention silent" data-user-id="225949">Nathan Corbyn</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020/near/200281890">said</a>:</p>
<blockquote>
<p>(Sitting in as I'm interested in what's going on - nice to meet everyone)</p>
</blockquote>
<p>(Same here!)</p>



<a name="200281969"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200281969" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200281969">(Jun 09 2020 at 20:00)</a>:</h4>
<p><span class="user-mention" data-user-id="310140">@mental</span> hello as well :)</p>



<a name="200282032"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282032" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282032">(Jun 09 2020 at 20:01)</a>:</h4>
<p>Okay, so announcements/updates?</p>



<a name="200282090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282090">(Jun 09 2020 at 20:01)</a>:</h4>
<p>We almost almost have <code>Unsize</code></p>



<a name="200282094"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282094" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282094">(Jun 09 2020 at 20:01)</a>:</h4>
<p>A pretty busy week in terms of PRs</p>



<a name="200282119"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282119" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282119">(Jun 09 2020 at 20:02)</a>:</h4>
<p><span class="user-mention" data-user-id="251766">@Areredify</span> unless <span class="user-mention" data-user-id="116009">@nikomatsakis</span> has comments, you can merge</p>



<a name="200282126"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282126" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282126">(Jun 09 2020 at 20:02)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="200282178"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282178" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282178">(Jun 09 2020 at 20:02)</a>:</h4>
<p>Hi all</p>



<a name="200282188"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282188" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282188">(Jun 09 2020 at 20:02)</a>:</h4>
<p>Busy week indeed</p>



<a name="200282189"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282189" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282189">(Jun 09 2020 at 20:02)</a>:</h4>
<p><span class="user-mention" data-user-id="128294">@blitzerr</span> hello :)</p>



<a name="200282310"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282310" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282310">(Jun 09 2020 at 20:03)</a>:</h4>
<p>13 PRs merged in the last week</p>



<a name="200282383"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282383" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282383">(Jun 09 2020 at 20:03)</a>:</h4>
<p>Hello <span class="user-mention" data-user-id="232957">@Jack Huey</span></p>



<a name="200282425"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282425" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282425">(Jun 09 2020 at 20:03)</a>:</h4>
<p>including lifetimes for <code>dyn</code>, <code>Fn</code> family traits, Some <code>FnDef</code> updates, refactoring to recursive solver</p>



<a name="200282573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282573">(Jun 09 2020 at 20:04)</a>:</h4>
<p>Also, there is a PR for rustc to update to chalk 0.11</p>



<a name="200282604"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282604" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282604">(Jun 09 2020 at 20:05)</a>:</h4>
<p>how is the "auto-publish" process working?</p>



<a name="200282618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282618">(Jun 09 2020 at 20:05)</a>:</h4>
<p>was about to mention that</p>



<a name="200282624"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282624" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282624">(Jun 09 2020 at 20:05)</a>:</h4>
<p>also, re: <span class="user-mention" data-user-id="251766">@Areredify</span>'s PR, I'll try to take a look after this call, i'd like to give it a glance over</p>



<a name="200282625"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282625" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282625">(Jun 09 2020 at 20:05)</a>:</h4>
<p>it failed :(</p>



<a name="200282635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282635">(Jun 09 2020 at 20:05)</a>:</h4>
<p>d'oh</p>



<a name="200282651"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282651" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282651">(Jun 09 2020 at 20:05)</a>:</h4>
<p>seems like there's a caching issue</p>



<a name="200282687"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282687" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282687">(Jun 09 2020 at 20:05)</a>:</h4>
<p>And cargo doesn't recognize that a previous crate was published</p>



<a name="200282705"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282705" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282705">(Jun 09 2020 at 20:05)</a>:</h4>
<p>yeah ok</p>



<a name="200282722"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282722" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282722">(Jun 09 2020 at 20:06)</a>:</h4>
<p>just run it in a loop</p>



<a name="200282765"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282765" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282765">(Jun 09 2020 at 20:06)</a>:</h4>
<p>;)</p>



<a name="200282783"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282783" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282783">(Jun 09 2020 at 20:06)</a>:</h4>
<p>so chalk-ir 0.12 was successfully published, the index was updated, and then chalk-engine failed</p>



<a name="200282785"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282785" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282785">(Jun 09 2020 at 20:06)</a>:</h4>
<p>well so</p>



<a name="200282822"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282822" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282822">(Jun 09 2020 at 20:06)</a>:</h4>
<p><span class="user-mention" data-user-id="254853">@pksunkara</span> specifically added code to force update the cargo index</p>



<a name="200282840"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282840" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282840">(Jun 09 2020 at 20:06)</a>:</h4>
<p>but that seems to not have worked</p>



<a name="200282929"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282929" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282929">(Jun 09 2020 at 20:07)</a>:</h4>
<p>so anyways, that's ongoing</p>



<a name="200282956"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282956" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282956">(Jun 09 2020 at 20:07)</a>:</h4>
<p>yep</p>



<a name="200282971"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282971" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282971">(Jun 09 2020 at 20:07)</a>:</h4>
<p>But, chalk-derive and chalk-ir got a 0.12 update</p>



<a name="200282983"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200282983" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200282983">(Jun 09 2020 at 20:07)</a>:</h4>
<p>The rest did not</p>



<a name="200283056"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283056" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283056">(Jun 09 2020 at 20:08)</a>:</h4>
<p>I'm not/wasn't really worried about manually going through and updating the rest</p>



<a name="200283074"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283074" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283074">(Jun 09 2020 at 20:08)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020/near/200282573">said</a>:</p>
<blockquote>
<p>Also, there is a PR for rustc to update to chalk 0.11</p>
</blockquote>
<p>I haven't really followed this, but can the <code>compare-mode=chalk</code> thing be used to compare trait solving between chalk and rustc?</p>



<a name="200283088"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283088" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283088">(Jun 09 2020 at 20:08)</a>:</h4>
<p>yes</p>



<a name="200283112"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283112" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283112">(Jun 09 2020 at 20:08)</a>:</h4>
<p>I ran the entire rustc test suite with chalk</p>



<a name="200283125"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283125" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283125">(Jun 09 2020 at 20:08)</a>:</h4>
<p>cool, I should take a look at that sometimes</p>



<a name="200283127"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283127" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283127">(Jun 09 2020 at 20:08)</a>:</h4>
<p>Only about 20-30% pass</p>



<a name="200283180"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283180" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283180">(Jun 09 2020 at 20:09)</a>:</h4>
<p>I also have closures somewhat working locally :)</p>



<a name="200283201"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283201" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283201">(Jun 09 2020 at 20:09)</a>:</h4>
<p>so one thing I think we could talk about in this meeting is how to integrate "new folk" and whether anyone is feeling blocked on stuff</p>



<a name="200283207"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283207" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283207">(Jun 09 2020 at 20:09)</a>:</h4>
<p>and some work on adding closures into chalk, of course</p>



<a name="200283235"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283235" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283235">(Jun 09 2020 at 20:09)</a>:</h4>
<p>Ah true</p>



<a name="200283354"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283354" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283354">(Jun 09 2020 at 20:10)</a>:</h4>
<p>Sem-syn is blocked on that map from canonical issue</p>



<a name="200283375"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283375" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283375">(Jun 09 2020 at 20:10)</a>:</h4>
<p><span class="user-mention" data-user-id="225949">@Nathan Corbyn</span> <span class="user-mention" data-user-id="310140">@mental</span> <span class="user-mention" data-user-id="128294">@blitzerr</span> or @anyone else did you want to contribute to chalk or rustc? Or just around?</p>



<a name="200283433"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283433" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Corbyn <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283433">(Jun 09 2020 at 20:10)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020/near/200283375">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="225949">Nathan Corbyn</span> <span class="user-mention silent" data-user-id="310140">mental</span> <span class="user-mention silent" data-user-id="128294">blitzerr</span> or @anyone else did you want to contribute to chalk or rustc? Or just around?</p>
</blockquote>
<p>Interested in both though I feel much more comfortable with the rustc codebase</p>



<a name="200283467"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283467" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283467">(Jun 09 2020 at 20:11)</a>:</h4>
<p>I'm also interested in contributing to chalk</p>



<a name="200283484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283484">(Jun 09 2020 at 20:11)</a>:</h4>
<p>ok so one "line of work" I've been wanting to lay out the steps for is starting to do some refactorings (sometimes experimental ones) on rustc towards aligning chalk/rustc</p>



<a name="200283514"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283514" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283514">(Jun 09 2020 at 20:11)</a>:</h4>
<p>I feel like maybe we should form a "subgroup" to talk that out separately</p>



<a name="200283526"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283526" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mental <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283526">(Jun 09 2020 at 20:11)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020/near/200283201">said</a>:</p>
<blockquote>
<p>so one thing I think we could talk about in this meeting is how to integrate "new folk" and whether anyone is feeling blocked on stuff</p>
</blockquote>
<p>I didn't want to interrupt the conversation but I think I can chime in here: I'm not quite sure what the context/history around the changes are so maybe a quick brief would help? (for the newbies atleast)</p>



<a name="200283528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283528">(Jun 09 2020 at 20:11)</a>:</h4>
<p>I would like to contribute to both but comfortable with neither :D</p>



<a name="200283639"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283639" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283639">(Jun 09 2020 at 20:12)</a>:</h4>
<p>(by 'align chalk/rustc' I am specifically talking about the idea of extracting a shared library for types)</p>



<a name="200283649"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283649" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mental <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283649">(Jun 09 2020 at 20:12)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020/near/200283375">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="225949">Nathan Corbyn</span> <span class="user-mention silent" data-user-id="310140">mental</span> <span class="user-mention silent" data-user-id="128294">blitzerr</span> or @anyone else did you want to contribute to chalk or rustc? Or just around?</p>
</blockquote>
<p>I wouldn't mind contributing to both :)</p>



<a name="200283662"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283662" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283662">(Jun 09 2020 at 20:12)</a>:</h4>
<p>Hmm</p>



<a name="200283663"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283663" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Corbyn <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283663">(Jun 09 2020 at 20:12)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020/near/200283639">said</a>:</p>
<blockquote>
<p>(by 'align chalk/rustc' I am specifically talking about the idea of extracting a shared library for types)</p>
</blockquote>
<p>Definitely very interested in this</p>



<a name="200283676"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283676" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283676">(Jun 09 2020 at 20:12)</a>:</h4>
<p>ayy mcp time</p>



<a name="200283725"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283725" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283725">(Jun 09 2020 at 20:13)</a>:</h4>
<p>So, I'm looking over the sprint goals</p>



<a name="200283742"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283742" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283742">(Jun 09 2020 at 20:13)</a>:</h4>
<p>And trying to get a bearing on what people can do</p>



<a name="200283744"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283744" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283744">(Jun 09 2020 at 20:13)</a>:</h4>
<p>I think maybe a way to get started would be to have a meeting to plan out in more detail. I keep meaning to do that on my own time but it keeps not happening. If folks want to meet and do it live, that migh help a lot :)</p>



<a name="200283766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283766">(Jun 09 2020 at 20:13)</a>:</h4>
<p>(e.g., maybe later this week)</p>



<a name="200283874"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283874" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283874">(Jun 09 2020 at 20:14)</a>:</h4>
<p>As far as chalk work</p>



<a name="200283899"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283899" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283899">(Jun 09 2020 at 20:14)</a>:</h4>
<p>I think the big thing is to push to get the builtin traits and types done</p>



<a name="200283912"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283912" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283912">(Jun 09 2020 at 20:14)</a>:</h4>
<p>I think maybe a good place <span class="user-mention" data-user-id="232957">@Jack Huey</span> within <em>chalk</em> for people to get started has been extending chalk with traits or small things that rustc needs? it's hard for me to tell if we're reaching the end of that line of work:)</p>



<a name="200283922"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283922" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283922">(Jun 09 2020 at 20:14)</a>:</h4>
<p>yes, that</p>



<a name="200283924"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283924" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283924">(Jun 09 2020 at 20:14)</a>:</h4>
<p>so <a href="https://github.com/rust-lang/chalk/issues/368">https://github.com/rust-lang/chalk/issues/368</a></p>



<a name="200283946"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283946" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283946">(Jun 09 2020 at 20:14)</a>:</h4>
<p>and <a href="https://github.com/rust-lang/chalk/issues/363">https://github.com/rust-lang/chalk/issues/363</a></p>



<a name="200283981"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283981" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283981">(Jun 09 2020 at 20:14)</a>:</h4>
<p>Traits might actually be done with <code>Unsize</code></p>



<a name="200283998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200283998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200283998">(Jun 09 2020 at 20:15)</a>:</h4>
<p>Is <code>Generator</code> the only remaining type once <span class="user-mention" data-user-id="232957">@Jack Huey</span> pushes their closure code?</p>



<a name="200284030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284030">(Jun 09 2020 at 20:15)</a>:</h4>
<p>one thing we need is 'generator interior'</p>



<a name="200284034"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284034" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284034">(Jun 09 2020 at 20:15)</a>:</h4>
<p>or witness</p>



<a name="200284037"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284037" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284037">(Jun 09 2020 at 20:15)</a>:</h4>
<p>or whatever rustc calls it</p>



<a name="200284057"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284057" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284057">(Jun 09 2020 at 20:15)</a>:</h4>
<p>that one is a "bit special" in that it has a binder</p>



<a name="200284062"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284062" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Mark Drobnak <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284062">(Jun 09 2020 at 20:15)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020/near/200283924">said</a>:</p>
<blockquote>
<p>so <a href="https://github.com/rust-lang/chalk/issues/368">https://github.com/rust-lang/chalk/issues/368</a></p>
</blockquote>
<p>I think we can check off "generalize struct to enum/union" now</p>



<a name="200284071"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284071" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284071">(Jun 09 2020 at 20:15)</a>:</h4>
<p>Generator, and then also support different variants in <code>Adt</code></p>



<a name="200284074"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284074" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284074">(Jun 09 2020 at 20:15)</a>:</h4>
<p>They are not <span class="user-mention" data-user-id="232957">@Jack Huey</span></p>



<a name="200284152"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284152" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284152">(Jun 09 2020 at 20:16)</a>:</h4>
<p><span class="user-mention" data-user-id="251766">@Areredify</span> what others? We should add them</p>



<a name="200284171"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284171" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284171">(Jun 09 2020 at 20:16)</a>:</h4>
<p>We are missing <code>Unpin</code>, <code>CoerceUnsized</code> and <code>DispatchFromDyn</code></p>



<a name="200284180"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284180" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284180">(Jun 09 2020 at 20:16)</a>:</h4>
<p><span class="user-mention" data-user-id="125294">@Aaron Hill</span>  I know you're pretty familiar with the generator code, maybe you want to look at the case of the generator interior?</p>



<a name="200284210"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284210" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284210">(Jun 09 2020 at 20:16)</a>:</h4>
<p>I'm not <em>super</em> familiar with it, but I'd be happy to work on that</p>



<a name="200284236"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284236" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284236">(Jun 09 2020 at 20:16)</a>:</h4>
<p>And uhh <code>GeneratorWitness</code> I think?</p>



<a name="200284256"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284256" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284256">(Jun 09 2020 at 20:17)</a>:</h4>
<p>Or whatever the trait name is</p>



<a name="200284286"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284286" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284286">(Jun 09 2020 at 20:17)</a>:</h4>
<p>I think the trait is just called <code>Generator</code></p>



<a name="200284288"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284288" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284288">(Jun 09 2020 at 20:17)</a>:</h4>
<p><span class="user-mention silent" data-user-id="251766">Areredify</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020/near/200284171">said</a>:</p>
<blockquote>
<p>We are missing <code>Unpin</code>, <code>CoerceUnsized</code> and <code>DispatchFromDyn</code></p>
</blockquote>
<p>wth I have never heard of <code>DispatchFromDyn</code></p>



<a name="200284324"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284324" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284324">(Jun 09 2020 at 20:17)</a>:</h4>
<p>don't look at <code>DispatchFromDyn</code></p>



<a name="200284341"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284341" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284341">(Jun 09 2020 at 20:17)</a>:</h4>
<p>everybody  just look over there, nothing to see here, move along now</p>



<a name="200284358"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284358" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Corbyn <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284358">(Jun 09 2020 at 20:17)</a>:</h4>
<p>Hahahahaha</p>



<a name="200284434"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284434" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284434">(Jun 09 2020 at 20:18)</a>:</h4>
<p>For some more chalk work, it'd be great if someone could finish up the tracing PR (it's been waiting on a rebase for a while, though at this point it might be easier to re-do the PR)</p>



<a name="200284435"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284435" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284435">(Jun 09 2020 at 20:18)</a>:</h4>
<p>heh I guess we do have to model it, what a pain :)</p>



<a name="200284463"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284463" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284463">(Jun 09 2020 at 20:18)</a>:</h4>
<p>Yes, the tracing PR</p>



<a name="200284475"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284475" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284475">(Jun 09 2020 at 20:18)</a>:</h4>
<p>Was going to bring that up</p>



<a name="200284506"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284506" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284506">(Jun 09 2020 at 20:19)</a>:</h4>
<p>I was wondering whether there are other sorts of 'internal refactorings' of this kind, or improvements to test base, etc</p>



<a name="200284510"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284510" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284510">(Jun 09 2020 at 20:19)</a>:</h4>
<p>It needs a rebase and documentation on how to use</p>



<a name="200284518"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284518" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284518">(Jun 09 2020 at 20:19)</a>:</h4>
<p>Oh regarding <code>DispatchFromDyn</code>, we need to model ZSTs and alignment</p>



<a name="200284524"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284524" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284524">(Jun 09 2020 at 20:19)</a>:</h4>
<p>(whatever happened to the folks working on saving .chalk files?)</p>



<a name="200284539"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284539" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284539">(Jun 09 2020 at 20:19)</a>:</h4>
<p>That's still active :)</p>



<a name="200284544"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284544" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284544">(Jun 09 2020 at 20:19)</a>:</h4>
<p>Because wf checks for <code>DispatchFromDyn</code> require those things</p>



<a name="200284548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284548">(Jun 09 2020 at 20:19)</a>:</h4>
<p>just only on Saturdays</p>



<a name="200284579"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284579" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284579">(Jun 09 2020 at 20:19)</a>:</h4>
<p><span class="user-mention silent" data-user-id="251766">Areredify</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020/near/200284518">said</a>:</p>
<blockquote>
<p>Oh regarding <code>DispatchFromDyn</code>, we need to model ZSTs and alignment</p>
</blockquote>
<p>oh dear. this merits some separate discussion I guess, but presumably this will require callbacks through the <code>RustIrDatabase</code></p>



<a name="200284655"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284655" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284655">(Jun 09 2020 at 20:20)</a>:</h4>
<p>I also started to expand Chalk with the notion of <code>Variance</code></p>



<a name="200284663"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284663" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284663">(Jun 09 2020 at 20:20)</a>:</h4>
<p>(locally)</p>



<a name="200284672"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284672" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284672">(Jun 09 2020 at 20:20)</a>:</h4>
<p>are you talking about the subtyping work?</p>



<a name="200284688"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284688" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284688">(Jun 09 2020 at 20:20)</a>:</h4>
<p><a href="https://github.com/jackh726/chalk/tree/subtype-variance">https://github.com/jackh726/chalk/tree/subtype-variance</a></p>



<a name="200284692"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284692" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284692">(Jun 09 2020 at 20:20)</a>:</h4>
<p>indeed</p>



<a name="200284695"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284695" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284695">(Jun 09 2020 at 20:20)</a>:</h4>
<p>that we discussed last time</p>



<a name="200284698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284698">(Jun 09 2020 at 20:20)</a>:</h4>
<p>ok</p>



<a name="200284733"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284733" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284733">(Jun 09 2020 at 20:21)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> maybe if you could take a bit to just quickly glance over the branch and make sure it's heading in the right direction</p>



<a name="200284788"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284788" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284788">(Jun 09 2020 at 20:21)</a>:</h4>
<p>All I've added so far is the <code>Variance</code> enum and using it as an argument to <code>zip</code> and <code>zip_with</code> and all the <code>unify</code> functions</p>



<a name="200284883"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284883" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284883">(Jun 09 2020 at 20:22)</a>:</h4>
<p>This conversation is moving fast</p>



<a name="200284897"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284897" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284897">(Jun 09 2020 at 20:22)</a>:</h4>
<p>Yes, I'm feeling a bit lost :)</p>



<a name="200284909"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284909" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284909">(Jun 09 2020 at 20:22)</a>:</h4>
<p>Those who are new, if you have questions or anything just speak up :)</p>



<a name="200284926"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284926" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284926">(Jun 09 2020 at 20:22)</a>:</h4>
<p>Coming back to built-in types, it seems like we assigned "generator witness", but there are several iitems in the list</p>



<a name="200284939"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284939" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284939">(Jun 09 2020 at 20:23)</a>:</h4>
<p>"Support multiple variants on Adt" might be good for <span class="user-mention" data-user-id="128294">@blitzerr</span> or <span class="user-mention" data-user-id="225949">@Nathan Corbyn</span></p>



<a name="200284952"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284952" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284952">(Jun 09 2020 at 20:23)</a>:</h4>
<p>as a way to get more into chalk</p>



<a name="200284970"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284970" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284970">(Jun 09 2020 at 20:23)</a>:</h4>
<p>Sounds good to me</p>



<a name="200284971"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284971" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284971">(Jun 09 2020 at 20:23)</a>:</h4>
<p>somebody should volunteer to open an issue and describe what is expected ;)</p>



<a name="200284997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284997">(Jun 09 2020 at 20:23)</a>:</h4>
<p>Sounds like I'm being volunteered</p>



<a name="200284999"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200284999" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200284999">(Jun 09 2020 at 20:23)</a>:</h4>
<p>well, I'll open an issue for now</p>



<a name="200285004"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285004" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285004">(Jun 09 2020 at 20:23)</a>:</h4>
<p>oh</p>



<a name="200285005"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285005" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285005">(Jun 09 2020 at 20:23)</a>:</h4>
<p>nvm</p>



<a name="200285013"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285013" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285013">(Jun 09 2020 at 20:23)</a>:</h4>
<p>:D</p>



<a name="200285018"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285018" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285018">(Jun 09 2020 at 20:23)</a>:</h4>
<p>I didn't plan to populate it very much :)</p>



<a name="200285088"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285088" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285088">(Jun 09 2020 at 20:24)</a>:</h4>
<p>remind me why we care?</p>



<a name="200285110"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285110" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285110">(Jun 09 2020 at 20:24)</a>:</h4>
<p>About what?</p>



<a name="200285122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285122">(Jun 09 2020 at 20:24)</a>:</h4>
<p>variants</p>



<a name="200285130"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285130" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285130">(Jun 09 2020 at 20:24)</a>:</h4>
<p>for auto traits</p>



<a name="200285151"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285151" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285151">(Jun 09 2020 at 20:24)</a>:</h4>
<p>err</p>



<a name="200285157"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285157" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285157">(Jun 09 2020 at 20:25)</a>:</h4>
<p>no, <code>Sized</code></p>



<a name="200285164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285164">(Jun 09 2020 at 20:25)</a>:</h4>
<p>I don't think auto traits care, but sized .. yeah ok</p>



<a name="200285180"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285180" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285180">(Jun 09 2020 at 20:25)</a>:</h4>
<p>Unsizing also is not permitted on enums</p>



<a name="200285181"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285181" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285181">(Jun 09 2020 at 20:25)</a>:</h4>
<p>I am wondering if we want to change how the RustIr works here</p>



<a name="200285200"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285200" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285200">(Jun 09 2020 at 20:25)</a>:</h4>
<p>in particular we could move to a more "callback-based" model</p>



<a name="200285222"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285222" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285222">(Jun 09 2020 at 20:25)</a>:</h4>
<p>is that not how it is now?</p>



<a name="200285226"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285226" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285226">(Jun 09 2020 at 20:25)</a>:</h4>
<p>e.g., have something like <code>fn num_variants(&amp;self, adt_id: AdtId) -&gt; usize;</code></p>



<a name="200285259"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285259" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285259">(Jun 09 2020 at 20:26)</a>:</h4>
<p>Why do variants matter for <code>Sized</code>, but not auto traits? Don't both need to know about 'constituent types'?</p>



<a name="200285276"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285276" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285276">(Jun 09 2020 at 20:26)</a>:</h4>
<p>ohh</p>



<a name="200285284"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285284" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285284">(Jun 09 2020 at 20:26)</a>:</h4>
<p><code>fn field_type(&amp;self, adt_id: AdtId, variant_index: usize, field_index: usize) -&gt; Ty</code></p>



<a name="200285288"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285288" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285288">(Jun 09 2020 at 20:26)</a>:</h4>
<p>rather than having the types</p>



<a name="200285293"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285293" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285293">(Jun 09 2020 at 20:26)</a>:</h4>
<p>right</p>



<a name="200285309"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285309" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285309">(Jun 09 2020 at 20:26)</a>:</h4>
<p>that would map more cleanly to rustc</p>



<a name="200285315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285315">(Jun 09 2020 at 20:26)</a>:</h4>
<p>that might be worth doing</p>



<a name="200285337"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285337" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285337">(Jun 09 2020 at 20:26)</a>:</h4>
<p>especially because right now all the types are wrapped in an <code>Arc</code></p>



<a name="200285338"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285338" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285338">(Jun 09 2020 at 20:26)</a>:</h4>
<p><span class="user-mention silent" data-user-id="125294">Aaron Hill</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020/near/200285259">said</a>:</p>
<blockquote>
<p>Why do variants matter for <code>Sized</code>, but not auto traits? Don't both need to know about 'constituent types'?</p>
</blockquote>
<p>well what I meant is that, for auto traits, we don't care what variant a type came from, we just need the union</p>



<a name="200285342"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285342" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285342">(Jun 09 2020 at 20:26)</a>:</h4>
<p>and don't need to be</p>



<a name="200285353"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285353" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285353">(Jun 09 2020 at 20:26)</a>:</h4>
<p>exactly</p>



<a name="200285392"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285392" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285392">(Jun 09 2020 at 20:27)</a>:</h4>
<p>I think it is worth doing, at least we can start with ADTs, which are relatively simple</p>



<a name="200285403"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285403" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285403">(Jun 09 2020 at 20:27)</a>:</h4>
<p>they don't have any binders</p>



<a name="200285416"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285416" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285416">(Jun 09 2020 at 20:27)</a>:</h4>
<p>Want to file an issue for that :)</p>



<a name="200285479"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285479" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285479">(Jun 09 2020 at 20:27)</a>:</h4>
<blockquote>
<p>well what I meant is that, for auto traits, we don't care what variant a type came from, we just need the union</p>
</blockquote>
<p>Is that for error reporting, or does <code>Sized</code> have some special behavior for enums?</p>



<a name="200285542"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285542" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285542">(Jun 09 2020 at 20:28)</a>:</h4>
<p>yes, <code>Sized</code> is special</p>



<a name="200285571"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285571" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285571">(Jun 09 2020 at 20:28)</a>:</h4>
<p>particularly, <em>for each variant</em>, all but the last field must be <code>Sized</code></p>



<a name="200285599"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285599" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285599">(Jun 09 2020 at 20:28)</a>:</h4>
<p>filed <a href="https://github.com/rust-lang/chalk/issues/506">https://github.com/rust-lang/chalk/issues/506</a></p>



<a name="200285620"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285620" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285620">(Jun 09 2020 at 20:29)</a>:</h4>
<p>oh, I see</p>



<a name="200285626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285626">(Jun 09 2020 at 20:29)</a>:</h4>
<p>Structs, there's only one variant</p>



<a name="200285638"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285638" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285638">(Jun 09 2020 at 20:29)</a>:</h4>
<p>so it's the last field</p>



<a name="200285660"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285660" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285660">(Jun 09 2020 at 20:29)</a>:</h4>
<p>unions, IIRC are also one variant</p>



<a name="200285698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285698">(Jun 09 2020 at 20:29)</a>:</h4>
<p><a href="https://github.com/rust-lang-nursery/chalk/issues/505">chalk#505</a> and <a href="https://github.com/rust-lang-nursery/chalk/issues/506">chalk#506</a> might be the same issue</p>



<a name="200285821"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285821" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285821">(Jun 09 2020 at 20:30)</a>:</h4>
<p>so we had a list of built-in traits ...</p>



<a name="200285845"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285845" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285845">(Jun 09 2020 at 20:30)</a>:</h4>
<p>oh, and, I think there's some missing things from the "function pointer" type</p>



<a name="200285848"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285848" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285848">(Jun 09 2020 at 20:30)</a>:</h4>
<p>relevant logic: <a href="https://github.com/rust-lang/rust/blob/master/src/librustc_ty/ty.rs#L185">https://github.com/rust-lang/rust/blob/master/src/librustc_ty/ty.rs#L185</a></p>



<a name="200285852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285852">(Jun 09 2020 at 20:30)</a>:</h4>
<p>and a real simple PR to rename it</p>



<a name="200285966"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285966" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285966">(Jun 09 2020 at 20:31)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020/near/200285571">said</a>:</p>
<blockquote>
<p>particularly, <em>for each variant</em>, all but the last field must be <code>Sized</code></p>
</blockquote>
<p>Why is this the case?</p>



<a name="200285970"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200285970" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200285970">(Jun 09 2020 at 20:31)</a>:</h4>
<p>Also, <code>FnDef</code>s need to implement <code>Fn</code> family traits, but I have that in my closure branch</p>



<a name="200286073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200286073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200286073">(Jun 09 2020 at 20:32)</a>:</h4>
<p>I thought we had forbidden unsized enums altogether</p>



<a name="200286080"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200286080" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200286080">(Jun 09 2020 at 20:32)</a>:</h4>
<p><span class="user-mention" data-user-id="125131">@detrumi</span> I'm not sure I can really answer <em>why</em> well</p>



<a name="200286105"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200286105" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200286105">(Jun 09 2020 at 20:32)</a>:</h4>
<p>uh</p>



<a name="200286114"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200286114" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200286114">(Jun 09 2020 at 20:32)</a>:</h4>
<p>opened <a href="https://github.com/rust-lang/chalk/issues/507">https://github.com/rust-lang/chalk/issues/507</a></p>



<a name="200286256"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200286256" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200286256">(Jun 09 2020 at 20:33)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> if so, then I haven't seen that and the code I've read suggests otherwise :/</p>



<a name="200286278"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200286278" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> David Ross <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200286278">(Jun 09 2020 at 20:34)</a>:</h4>
<p>Isn't it because unsized types store the extra data in the fat pointer/reference pointing to them, and so per-variant there can only be one unsized thing?</p>



<a name="200286305"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200286305" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200286305">(Jun 09 2020 at 20:34)</a>:</h4>
<p><a href="https://play.rust-lang.org/?version=stable&amp;mode=debug&amp;edition=2018&amp;gist=41f3c572bd1c3d89b62eff7fdde91821">https://play.rust-lang.org/?version=stable&amp;mode=debug&amp;edition=2018&amp;gist=41f3c572bd1c3d89b62eff7fdde91821</a></p>



<a name="200286368"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200286368" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200286368">(Jun 09 2020 at 20:34)</a>:</h4>
<p>it doesn't look like we accept unsized enums, even as the last field</p>



<a name="200286399"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200286399" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200286399">(Jun 09 2020 at 20:34)</a>:</h4>
<p>we <em>do</em> require that the last field in a <em>struct</em> is the "unsized" one</p>



<a name="200286461"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200286461" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200286461">(Jun 09 2020 at 20:35)</a>:</h4>
<p>for..various reasons that we can discuss separately</p>



<a name="200286508"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200286508" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200286508">(Jun 09 2020 at 20:35)</a>:</h4>
<p>nonetheless I think it'd probably be good to just mirror the variant/field list</p>



<a name="200286530"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200286530" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200286530">(Jun 09 2020 at 20:35)</a>:</h4>
<p>if for no other reason that integrating with rustc is awkward as it currently is</p>



<a name="200286549"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200286549" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200286549">(Jun 09 2020 at 20:35)</a>:</h4>
<p>since it requires allocating a kind of fresh vector and concatenating things</p>



<a name="200286660"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200286660" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200286660">(Jun 09 2020 at 20:36)</a>:</h4>
<p>okay, well this is good to know</p>



<a name="200286721"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200286721" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200286721">(Jun 09 2020 at 20:37)</a>:</h4>
<p>Unsized enums are not permitted, that is correct</p>



<a name="200286796"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200286796" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200286796">(Jun 09 2020 at 20:37)</a>:</h4>
<p><span class="user-mention silent" data-user-id="218710">David Ross</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020/near/200286278">said</a>:</p>
<blockquote>
<p>Isn't it because unsized types store the extra data in the fat pointer/reference pointing to them, and so per-variant there can only be one unsized thing?</p>
</blockquote>
<p>yeah basically the idea is that only one field can be unsized, and it always comes last, because that means the earlier fields have fixed offsets. We could <em>maybe</em> have permitted it to not be the last field in the struct and just adjusted the layout, but I think that may have made other things awkward... and anyway that's the rules we ended up with.</p>



<a name="200286899"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200286899" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200286899">(Jun 09 2020 at 20:38)</a>:</h4>
<p>We kinda went on a tangent on this one</p>



<a name="200286912"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200286912" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200286912">(Jun 09 2020 at 20:38)</a>:</h4>
<p>so somebody should claim <a href="https://github.com/rust-lang/chalk/issues/507">https://github.com/rust-lang/chalk/issues/507</a> :)</p>



<a name="200286955"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200286955" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200286955">(Jun 09 2020 at 20:38)</a>:</h4>
<p>but actually we have to extend it in a few other ways too</p>



<a name="200286959"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200286959" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200286959">(Jun 09 2020 at 20:39)</a>:</h4>
<p>I'll add them to the issue</p>



<a name="200286964"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200286964" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200286964">(Jun 09 2020 at 20:39)</a>:</h4>
<p>haha yeah super easy</p>



<a name="200286969"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200286969" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200286969">(Jun 09 2020 at 20:39)</a>:</h4>
<p>e.g., we should support <code>unsafe</code> fn</p>



<a name="200286997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200286997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mental <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200286997">(Jun 09 2020 at 20:39)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020/near/200286912">said</a>:</p>
<blockquote>
<p>so somebody should claim <a href="https://github.com/rust-lang/chalk/issues/507">https://github.com/rust-lang/chalk/issues/507</a> :)</p>
</blockquote>
<p>haha dibs!</p>



<a name="200286999"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200286999" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200286999">(Jun 09 2020 at 20:39)</a>:</h4>
<p>hmm</p>



<a name="200287001"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287001" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287001">(Jun 09 2020 at 20:39)</a>:</h4>
<p>Making a pr for that is actually faster than typing "@rustbot claim"</p>



<a name="200287049"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287049" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287049">(Jun 09 2020 at 20:39)</a>:</h4>
<p>oh, that reminds me</p>



<a name="200287053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287053">(Jun 09 2020 at 20:39)</a>:</h4>
<p>Why do we need to support <code>unsafe</code></p>



<a name="200287070"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287070" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287070">(Jun 09 2020 at 20:39)</a>:</h4>
<p>Because it's a wf check</p>



<a name="200287072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287072">(Jun 09 2020 at 20:39)</a>:</h4>
<p>because <code>unsafe fn</code> is a type</p>



<a name="200287167"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287167" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287167">(Jun 09 2020 at 20:40)</a>:</h4>
<p>this is my chance to address <a href="https://github.com/rust-lang/rust/issues/64552#issuecomment-533267241">https://github.com/rust-lang/rust/issues/64552#issuecomment-533267241</a></p>



<a name="200287205"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287205" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287205">(Jun 09 2020 at 20:40)</a>:</h4>
<p>For <code>GeneratorWitness</code>, we don't actually want to erase all of the inner lifetimes</p>



<a name="200287219"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287219" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287219">(Jun 09 2020 at 20:40)</a>:</h4>
<p>unsafe impls for safe traits and vice versa is a wf check that probably falls on the shoulders on chalk (or does it?)</p>



<a name="200287227"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287227" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287227">(Jun 09 2020 at 20:40)</a>:</h4>
<p>because we need to 'remember' the relationships between regions to prove auto trait impls</p>



<a name="200287233"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287233" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287233">(Jun 09 2020 at 20:40)</a>:</h4>
<p>also because <code>unsafe fn()</code> does not implement the <code>Fn</code>  trait</p>



<a name="200287271"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287271" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287271">(Jun 09 2020 at 20:41)</a>:</h4>
<p>TIL</p>



<a name="200287311"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287311" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287311">(Jun 09 2020 at 20:41)</a>:</h4>
<p><span class="user-mention" data-user-id="310140">@mental</span> is your github name <code>mental32</code>?</p>



<a name="200287312"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287312" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287312">(Jun 09 2020 at 20:41)</a>:</h4>
<p>Luckily there's no UnsafeFn to worry about</p>



<a name="200287401"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287401" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mental <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287401">(Jun 09 2020 at 20:42)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020/near/200287311">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="310140">mental</span> is your github name <code>mental32</code>?</p>
</blockquote>
<p>Yup</p>



<a name="200287439"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287439" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287439">(Jun 09 2020 at 20:42)</a>:</h4>
<p>d'oh</p>



<a name="200287511"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287511" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> David Ross <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287511">(Jun 09 2020 at 20:43)</a>:</h4>
<p>do we also need separate types for extern "C" fns?</p>



<a name="200287543"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287543" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287543">(Jun 09 2020 at 20:43)</a>:</h4>
<p>In addition, I still have to go through more of the rustc integration and enumerate some things to work on</p>



<a name="200287556"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287556" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mental <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287556">(Jun 09 2020 at 20:43)</a>:</h4>
<p>WOW I did not notice that mis-assignment in the first place hah, nice catch! <span class="user-mention" data-user-id="232957">@Jack Huey</span></p>



<a name="200287568"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287568" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287568">(Jun 09 2020 at 20:43)</a>:</h4>
<p><span class="user-mention" data-user-id="218710">@David Ross</span> yes, that's a PR :)</p>



<a name="200287594"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287594" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287594">(Jun 09 2020 at 20:43)</a>:</h4>
<p><span class="user-mention" data-user-id="218710">@David Ross</span> that is being added in <a href="https://github.com/rust-lang-nursery/chalk/issues/481">chalk#481</a></p>



<a name="200287612"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287612" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287612">(Jun 09 2020 at 20:43)</a>:</h4>
<p>though I realize now I can't remember if <code>extern "C" fn()</code> implements the <code>Fn</code> trait</p>



<a name="200287650"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287650" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287650">(Jun 09 2020 at 20:44)</a>:</h4>
<p>hopefully yes</p>



<a name="200287747"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287747" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287747">(Jun 09 2020 at 20:44)</a>:</h4>
<p>But as far as rustc integration goes, I think the biggest "wins" we can get, at least in terms of support is finishing the builtin types and traits</p>



<a name="200287786"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287786" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287786">(Jun 09 2020 at 20:45)</a>:</h4>
<p><span class="user-mention" data-user-id="125294">@Aaron Hill</span> regarding generator witnesses and erasure etc, if we make the chalk type have the ability to be "existential" over multiple regions, I think that suffices to capture most of what we need, though not the relationships between those regions, but that would come I thin kfrom the same implied bounds approach that we need to use for types like <code>for&lt;'a, 'b&gt;...</code> and we can discuss it a bit separately</p>



<a name="200287787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287787">(Jun 09 2020 at 20:45)</a>:</h4>
<p>The next big one is subtyping and type outlives</p>



<a name="200287818"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287818" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287818">(Jun 09 2020 at 20:45)</a>:</h4>
<p>hmm type outlives</p>



<a name="200287832"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287832" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287832">(Jun 09 2020 at 20:45)</a>:</h4>
<p>well</p>



<a name="200287847"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287847" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287847">(Jun 09 2020 at 20:45)</a>:</h4>
<p>so in <em>rustc</em> at least that is largely not handled by the trait solver</p>



<a name="200287875"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287875" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287875">(Jun 09 2020 at 20:46)</a>:</h4>
<p>Would we need some kind of 'higher-ranked region bounds'?<br>
E.g. <code>for&lt;'a, 'b: 'a&gt; { ... }</code></p>



<a name="200287917"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287917" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287917">(Jun 09 2020 at 20:46)</a>:</h4>
<p>so when you say "type outlives" do you mean extending chalk's notion of constraints to include the possibility of emitting a <code>T: 'a</code> constraint</p>



<a name="200287934"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287934" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287934">(Jun 09 2020 at 20:46)</a>:</h4>
<p><span class="user-mention" data-user-id="125294">@Aaron Hill</span> I do not plan to approach it that way :)</p>



<a name="200287954"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200287954" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200287954">(Jun 09 2020 at 20:46)</a>:</h4>
<p>(I'll open a separate topic...)</p>



<a name="200288004"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288004" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288004">(Jun 09 2020 at 20:46)</a>:</h4>
<p>Well, at least deciding what we need to do when we see a <code>TypeOutlives</code> predicate</p>



<a name="200288012"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288012" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288012">(Jun 09 2020 at 20:46)</a>:</h4>
<p>(link incoming)</p>



<a name="200288059"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288059" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288059">(Jun 09 2020 at 20:47)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/blob/master/src/librustc_traits/chalk/lowering.rs#L103">https://github.com/rust-lang/rust/blob/master/src/librustc_traits/chalk/lowering.rs#L103</a></p>



<a name="200288175"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288175" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288175">(Jun 09 2020 at 20:48)</a>:</h4>
<p>so I think we basically want to treat it like region outlives in chalk, at least for now</p>



<a name="200288202"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288202" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288202">(Jun 09 2020 at 20:48)</a>:</h4>
<p>basically "pipe it through" into a constraint</p>



<a name="200288214"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288214" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288214">(Jun 09 2020 at 20:48)</a>:</h4>
<p>that's a good issue to file</p>



<a name="200288224"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288224" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288224">(Jun 09 2020 at 20:48)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> extern c functions do not implement <code>Fn</code>, you need to wrap them into a closure with no arguments</p>



<a name="200288248"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288248" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288248">(Jun 09 2020 at 20:48)</a>:</h4>
<p>ok, we should fix that ...</p>



<a name="200288310"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288310" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288310">(Jun 09 2020 at 20:49)</a>:</h4>
<p>Interesting, <code>extern "rust-call" fn call</code> (<a href="https://doc.rust-lang.org/std/ops/trait.Fn.html#tymethod.call">https://doc.rust-lang.org/std/ops/trait.Fn.html#tymethod.call</a>)</p>



<a name="200288317"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288317" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288317">(Jun 09 2020 at 20:49)</a>:</h4>
<p>Well, nothing to fix yet :)</p>



<a name="200288330"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288330" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288330">(Jun 09 2020 at 20:49)</a>:</h4>
<p><a href="https://play.rust-lang.org/?version=stable&amp;mode=debug&amp;edition=2018&amp;gist=4e1e49c8d0e7f83bf630e29cc883580e">https://play.rust-lang.org/?version=stable&amp;mode=debug&amp;edition=2018&amp;gist=4e1e49c8d0e7f83bf630e29cc883580e</a></p>



<a name="200288331"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288331" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288331">(Jun 09 2020 at 20:49)</a>:</h4>
<p>Since <code>FnDef</code>s don't impl <code>Fn</code> yet</p>



<a name="200288333"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288333" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288333">(Jun 09 2020 at 20:49)</a>:</h4>
<p><span class="user-mention silent" data-user-id="125131">detrumi</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020/near/200288310">said</a>:</p>
<blockquote>
<p>Interesting, <code>extern "rust-call" fn call</code> (<a href="https://doc.rust-lang.org/std/ops/trait.Fn.html#tymethod.call">https://doc.rust-lang.org/std/ops/trait.Fn.html#tymethod.call</a>)</p>
</blockquote>
<p>look away look away</p>



<a name="200288357"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288357" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288357">(Jun 09 2020 at 20:49)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020/near/200288331">said</a>:</p>
<blockquote>
<p>Since <code>FnDef</code>s don't impl <code>Fn</code> yet</p>
</blockquote>
<p>well I think <code>Fn</code> types do</p>



<a name="200288360"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288360" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288360">(Jun 09 2020 at 20:49)</a>:</h4>
<p>yeah, so what the heck is "rust-call"</p>



<a name="200288362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288362">(Jun 09 2020 at 20:49)</a>:</h4>
<p>don't they?</p>



<a name="200288372"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288372" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288372">(Jun 09 2020 at 20:49)</a>:</h4>
<p>oh</p>



<a name="200288373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288373">(Jun 09 2020 at 20:49)</a>:</h4>
<p>hmm</p>



<a name="200288428"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288428" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288428">(Jun 09 2020 at 20:50)</a>:</h4>
<p>We're hitting a lot of dark corners of Rust today</p>



<a name="200288503"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288503" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288503">(Jun 09 2020 at 20:50)</a>:</h4>
<p>So, the PR adds an abi to <code>Fn</code> but not <code>FnDef</code></p>



<a name="200288517"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288517" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Corbyn <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288517">(Jun 09 2020 at 20:50)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020/near/200288333">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="125131">detrumi</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020/near/200288310">said</a>:</p>
<blockquote>
<p>Interesting, <code>extern "rust-call" fn call</code> (<a href="https://doc.rust-lang.org/std/ops/trait.Fn.html#tymethod.call">https://doc.rust-lang.org/std/ops/trait.Fn.html#tymethod.call</a>)</p>
</blockquote>
<p>look away look away</p>
</blockquote>
<p>I'm working on validating the MIR for rust-call shims right now and look away is definitely good advice</p>



<a name="200288540"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288540" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288540">(Jun 09 2020 at 20:51)</a>:</h4>
<p>nvm</p>



<a name="200288558"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288558" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288558">(Jun 09 2020 at 20:51)</a>:</h4>
<p>I thnk I was wrong to suggest that <a href="https://github.com/rust-lang/chalk/pull/481">https://github.com/rust-lang/chalk/pull/481</a> adds the ABI to <code>Fn</code> too</p>



<a name="200288571"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288571" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288571">(Jun 09 2020 at 20:51)</a>:</h4>
<p>(as I wrote in my comment just now)</p>



<a name="200288589"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288589" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288589">(Jun 09 2020 at 20:51)</a>:</h4>
<p>I didn't realize how much of a scope creep that would be</p>



<a name="200288747"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288747" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288747">(Jun 09 2020 at 20:52)</a>:</h4>
<p>Oh geez. We're already at 52 minutes</p>



<a name="200288767"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288767" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288767">(Jun 09 2020 at 20:53)</a>:</h4>
<p>Guess today's a triage day</p>



<a name="200288817"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288817" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288817">(Jun 09 2020 at 20:53)</a>:</h4>
<p>I opened <a class="stream-topic" data-stream-id="144729" href="/#narrow/stream/144729-wg-traits/topic/what.20is.20rust-call">#wg-traits &gt; what is rust-call</a> for those who feel they can't look away as I and <span class="user-mention" data-user-id="225949">@Nathan Corbyn</span> suggest :)</p>



<a name="200288864"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288864" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288864">(Jun 09 2020 at 20:53)</a>:</h4>
<p>I feel like it's been a pretty productive meeting in terms of outlining actionable and open next steps</p>



<a name="200288873"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288873" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mental <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288873">(Jun 09 2020 at 20:53)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020/near/200288817">said</a>:</p>
<blockquote>
<p>I opened <a class="stream-topic" data-stream-id="144729" href="/#narrow/stream/144729-wg-traits/topic/what.20is.20rust-call">#wg-traits &gt; what is rust-call</a> for those who feel they can't look away as I and <span class="user-mention silent" data-user-id="225949">Nathan Corbyn</span> suggest :)</p>
</blockquote>
<p>...I was just about to ask "what is rust-call" <span aria-label="laughing" class="emoji emoji-1f606" role="img" title="laughing">:laughing:</span></p>



<a name="200288930"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288930" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288930">(Jun 09 2020 at 20:54)</a>:</h4>
<p>Yes, super productive</p>



<a name="200288958"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288958" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288958">(Jun 09 2020 at 20:54)</a>:</h4>
<p>I guess it's good to ask:</p>



<a name="200288989"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288989" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288989">(Jun 09 2020 at 20:54)</a>:</h4>
<p>Does anybody feel like they want to work on something, but don't have anything to work on</p>



<a name="200288997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200288997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200288997">(Jun 09 2020 at 20:54)</a>:</h4>
<p>Or feel blocked?</p>



<a name="200289051"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289051" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289051">(Jun 09 2020 at 20:55)</a>:</h4>
<p>(Maybe apart from the shared type library, which <span class="user-mention" data-user-id="116009">@nikomatsakis</span> is going to go through separately)</p>



<a name="200289061"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289061" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Whitaker <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289061">(Jun 09 2020 at 20:55)</a>:</h4>
<p>I'm looking for something to work on, been a little aimless recently</p>



<a name="200289074"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289074" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289074">(Jun 09 2020 at 20:55)</a>:</h4>
<p>even on that note, we at least made a plan for me to make a meeting time :)</p>



<a name="200289138"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289138" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289138">(Jun 09 2020 at 20:56)</a>:</h4>
<p>so <a href="https://github.com/rust-lang-nursery/chalk/issues/505">chalk#505</a> and <a href="https://github.com/rust-lang-nursery/chalk/issues/506">chalk#506</a> remain, I think, unclaimed</p>



<a name="200289162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289162">(Jun 09 2020 at 20:56)</a>:</h4>
<p><span class="user-mention" data-user-id="230601">@Nathan Whitaker</span> anything in particular you're interested in?</p>



<a name="200289184"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289184" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289184">(Jun 09 2020 at 20:56)</a>:</h4>
<p>Also the tracing PR</p>



<a name="200289193"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289193" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289193">(Jun 09 2020 at 20:56)</a>:</h4>
<p>but we also had this big list of built-in traits to add</p>



<a name="200289195"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289195" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289195">(Jun 09 2020 at 20:56)</a>:</h4>
<p>I <em>really</em> want to see that land</p>



<a name="200289205"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289205" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289205">(Jun 09 2020 at 20:56)</a>:</h4>
<p>we should open issues for that</p>



<a name="200289208"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289208" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289208">(Jun 09 2020 at 20:56)</a>:</h4>
<p>and yes, the tracing PR</p>



<a name="200289243"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289243" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289243">(Jun 09 2020 at 20:56)</a>:</h4>
<p>Yeah, maybe separate for the builtin traits would be nice</p>



<a name="200289422"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289422" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289422">(Jun 09 2020 at 20:58)</a>:</h4>
<p>Anyone else?</p>



<a name="200289456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289456">(Jun 09 2020 at 20:58)</a>:</h4>
<p>(or <span class="user-mention" data-user-id="230601">@Nathan Whitaker</span> are none of those interesting)</p>



<a name="200289470"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289470" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Whitaker <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289470">(Jun 09 2020 at 20:58)</a>:</h4>
<p>Hm, I'm happy to work on whatever needs to get done, so I may pick up a bit of the builtin traits work.</p>



<a name="200289510"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289510" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Whitaker <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289510">(Jun 09 2020 at 20:58)</a>:</h4>
<p>I would volunteer for the tracing PR, but I haven't personally used it so it may be a bit slow getting started</p>



<a name="200289533"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289533" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289533">(Jun 09 2020 at 20:59)</a>:</h4>
<p>Makes sense</p>



<a name="200289552"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289552" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289552">(Jun 09 2020 at 20:59)</a>:</h4>
<p>Like I said before, I actually don't think there's much work left. Just a rebase and docs</p>



<a name="200289586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289586">(Jun 09 2020 at 20:59)</a>:</h4>
<p>Okay, so if nobody has anything else</p>



<a name="200289598"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289598" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289598">(Jun 09 2020 at 20:59)</a>:</h4>
<p>We can end early</p>



<a name="200289602"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289602" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Whitaker <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289602">(Jun 09 2020 at 20:59)</a>:</h4>
<p>I'll take a peek :)</p>



<a name="200289609"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289609" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289609">(Jun 09 2020 at 20:59)</a>:</h4>
<p>(a whole minute)</p>



<a name="200289616"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289616" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mental <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289616">(Jun 09 2020 at 20:59)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> I've got <a href="https://github.com/rust-lang/chalk/issues/507">chalk/#507</a> to keep me busy but if there's anything else outstanding I could prioritize it alongside to help move things along</p>



<a name="200289630"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289630" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289630">(Jun 09 2020 at 20:59)</a>:</h4>
<p>(maybe not even a whole minute)</p>



<a name="200289717"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289717" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289717">(Jun 09 2020 at 21:00)</a>:</h4>
<p><span class="user-mention silent" data-user-id="251766">Areredify</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020/near/200284171">said</a>:</p>
<blockquote>
<p>We are missing <code>Unpin</code>, <code>CoerceUnsized</code> and <code>DispatchFromDyn</code></p>
</blockquote>



<a name="200289729"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289729" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289729">(Jun 09 2020 at 21:00)</a>:</h4>
<p>that was the list</p>



<a name="200289731"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289731" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289731">(Jun 09 2020 at 21:00)</a>:</h4>
<p><span class="user-mention" data-user-id="310140">@mental</span> I think chalk/#507 is good to work on :)</p>



<a name="200289751"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289751" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289751">(Jun 09 2020 at 21:00)</a>:</h4>
<p>I'll open up some issues for them</p>



<a name="200289783"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289783" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289783">(Jun 09 2020 at 21:00)</a>:</h4>
<p>Thanks everyone for coming :)</p>



<a name="200289797"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289797" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289797">(Jun 09 2020 at 21:01)</a>:</h4>
<p>Super happy to see newcomers too!</p>



<a name="200289830"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289830" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289830">(Jun 09 2020 at 21:01)</a>:</h4>
<p>Can I be added to <code>wg-traits</code> on Github?</p>



<a name="200289872"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289872" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Corbyn <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289872">(Jun 09 2020 at 21:01)</a>:</h4>
<p>Hopefully I can pick up some tasks at the next meeting - if anything comes up in the meantime a ping would be much appreciated ^-^</p>



<a name="200289898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200289898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200289898">(Jun 09 2020 at 21:01)</a>:</h4>
<p>Note that adding <code>Unpin</code> is useless before we have generators</p>



<a name="200290003"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200290003" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200290003">(Jun 09 2020 at 21:02)</a>:</h4>
<p>Because <code>impl !Unpin for Generator</code> is basically the only piece of logic for them</p>



<a name="200290037"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200290037" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200290037">(Jun 09 2020 at 21:02)</a>:</h4>
<p>What does tracing PR entail ?</p>



<a name="200290045"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200290045" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200290045">(Jun 09 2020 at 21:02)</a>:</h4>
<p>Well, it will still be useful to have as an auto trait</p>



<a name="200290076"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200290076" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200290076">(Jun 09 2020 at 21:03)</a>:</h4>
<p><span class="user-mention" data-user-id="225949">@Nathan Corbyn</span> want to pick up <a href="https://github.com/rust-lang/chalk/issues/505">https://github.com/rust-lang/chalk/issues/505</a>?</p>



<a name="200290099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200290099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200290099">(Jun 09 2020 at 21:03)</a>:</h4>
<p>(or did somebody else claim that, I'm so lost)</p>



<a name="200290100"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200290100" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200290100">(Jun 09 2020 at 21:03)</a>:</h4>
<p>actually, how do we map rustc auto traits to chalk auto traits?</p>



<a name="200290129"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200290129" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200290129">(Jun 09 2020 at 21:03)</a>:</h4>
<p><span class="user-mention" data-user-id="125294">@Aaron Hill</span> the <code>auto</code>field</p>



<a name="200290144"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200290144" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200290144">(Jun 09 2020 at 21:03)</a>:</h4>
<p>in the flags</p>



<a name="200290165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200290165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Mark Drobnak <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200290165">(Jun 09 2020 at 21:03)</a>:</h4>
<p><span class="user-mention silent" data-user-id="251766">Areredify</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020/near/200288224">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> extern c functions do not implement <code>Fn</code>, you need to wrap them into a closure with no arguments</p>
</blockquote>
<p>Uh oh</p>



<a name="200290167"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200290167" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200290167">(Jun 09 2020 at 21:04)</a>:</h4>
<p><a href="https://github.com/rust-lang/chalk/blob/master/chalk-solve/src/rust_ir.rs#L269">https://github.com/rust-lang/chalk/blob/master/chalk-solve/src/rust_ir.rs#L269</a></p>



<a name="200290209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200290209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Corbyn <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200290209">(Jun 09 2020 at 21:04)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020/near/200290076">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="225949">Nathan Corbyn</span> want to pick up <a href="https://github.com/rust-lang/chalk/issues/505">https://github.com/rust-lang/chalk/issues/505</a>?</p>
</blockquote>
<p>If no-one else is I can definitely give it a go</p>



<a name="200290221"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200290221" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200290221">(Jun 09 2020 at 21:04)</a>:</h4>
<p>nvm, then - <span class="user-mention" data-user-id="251766">@Areredify</span> was right</p>



<a name="200290306"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200290306" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200290306">(Jun 09 2020 at 21:04)</a>:</h4>
<p>PS for newcomers</p>



<a name="200290325"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200290325" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200290325">(Jun 09 2020 at 21:05)</a>:</h4>
<p>I want to point out <a href="http://rust-lang.github.io/chalk/book/">http://rust-lang.github.io/chalk/book/</a></p>



<a name="200290355"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200290355" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200290355">(Jun 09 2020 at 21:05)</a>:</h4>
<p>which tries to give high-level overview etc</p>



<a name="200290382"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200290382" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200290382">(Jun 09 2020 at 21:05)</a>:</h4>
<p>if you can think of things we should add, please edit the <a href="http://*%20Goal:%20GAT%20support%20in%20rustc">list at the bottom of this hackmd</a></p>



<a name="200290395"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200290395" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200290395">(Jun 09 2020 at 21:05)</a>:</h4>
<p>or better yet ask questions then open a PR...</p>



<a name="200290458"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200290458" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200290458">(Jun 09 2020 at 21:06)</a>:</h4>
<p>e.g., we probably should have a chapter on auto traits</p>



<a name="200290486"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200290486" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200290486">(Jun 09 2020 at 21:06)</a>:</h4>
<p>hackmd link doesn't work?</p>



<a name="200290492"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200290492" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200290492">(Jun 09 2020 at 21:06)</a>:</h4>
<p>We have a paragrpah about them in well known traits</p>



<a name="200290494"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200290494" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200290494">(Jun 09 2020 at 21:06)</a>:</h4>
<p>was about to say</p>



<a name="200290531"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200290531" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200290531">(Jun 09 2020 at 21:06)</a>:</h4>
<p><a href="http://rust-lang.github.io/chalk/book/clauses/well_known_traits.html?highlight=well#auto-traits">http://rust-lang.github.io/chalk/book/clauses/well_known_traits.html?highlight=well#auto-traits</a></p>



<a name="200292490"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200292490" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200292490">(Jun 09 2020 at 21:22)</a>:</h4>
<p>Hello! I am definitely late, but i'd be glad to help. I still struggle to understand some concept around chalk. I think i am lacking the vocabulary to properly understand some bits but i'll get there with time hopefully. In the mean time if there are some refactoring issue or something that is more about writing rust code than deep understanding of chalk concepts, i can totally give it a go :)</p>



<a name="200293004"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200293004" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200293004">(Jun 09 2020 at 21:26)</a>:</h4>
<p><span class="user-mention" data-user-id="281572">@marmeladema</span> I'm not sure if we have really any refactoring to do</p>



<a name="200293020"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200293020" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200293020">(Jun 09 2020 at 21:26)</a>:</h4>
<p>But if you sort of just "want to write Rust"</p>



<a name="200293025"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200293025" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200293025">(Jun 09 2020 at 21:26)</a>:</h4>
<p>maybe benchmarks?</p>



<a name="200293097"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200293097" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200293097">(Jun 09 2020 at 21:27)</a>:</h4>
<p>I've also seen that you've been hacking on rustc a bit. So maybe you would be interested in helping out with the integration there?</p>



<a name="200293190"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200293190" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200293190">(Jun 09 2020 at 21:28)</a>:</h4>
<p>Yeah helping on integration would be awesome!</p>



<a name="200299042"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200299042" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200299042">(Jun 09 2020 at 22:26)</a>:</h4>
<p><span class="user-mention silent" data-user-id="251766">Areredify</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020/near/200290492">said</a>:</p>
<blockquote>
<p>We have a paragrpah about them in well known traits</p>
</blockquote>
<p>this doesn't seem like a very visible location</p>



<a name="200299063"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200299063" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200299063">(Jun 09 2020 at 22:26)</a>:</h4>
<p>or at least we should re-title the page to mention them</p>



<a name="200299074"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.09.2020/near/200299074" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E09.2E2020.html#200299074">(Jun 09 2020 at 22:26)</a>:</h4>
<p>e.g., Well known / auto traits</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>